Migratory Typing: Ten Years Later∗ Sam Tobin-Hochstadt, Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Ben Greenman, Andrew M. Kent, Vincent St-Amour, T. Stephen Strickland, Asumu Takikawa1 1

Source URL: users.eecs.northwestern.edu

Feature-Specific Profiling Vincent St-Amour, Leif Andersen, and Matthias Felleisen PLT @ Northeastern University {stamourv,leif,matthias}@ccs.neu.edu Abstract. High-level languages come with significant readability and

Source URL: users.eecs.northwestern.edu

Position Paper: Performance Evaluation for Gradual Typing Asumu Takikawa Daniel Feltey Ben Greenman Jan Vitek Matthias Felleisen

Source URL: www.ccs.neu.edu

Linguistic Support for Unit Testing UUCSKathryn E. Gray Matthias Felleisen

Source URL: www.cl.cam.ac.uk

THE CALL-BY-NEED LAMBDA CALCULUS, REVISITED Stephen Chang and Matthias Felleisen Northeastern University

Source URL: www.ccs.neu.edu

1 From Stack Traces to Lazy Rewriting Sequences Stephen Chang, Eli Barzilay, John Clements*, Matthias Felleisen Northeastern University *California Polytechnic State University

Source URL: www.ccs.neu.edu

• Computer programming
• Software engineering
• Software
• Debuggers
• Debugging
• Haskell

Coordinated Concurrent Programming in Syndicate Tony Garnock-Jones and Matthias Felleisen Northeastern University, Boston, Massachusetts, USA Abstract. Most programs interact with the world: via graphical user interfaces

Source URL: www.ccs.neu.edu

• Computer programming
• Software engineering
• Computing
• Actor model
• Concurrent computing
• Assertion

Oh Lord, Please Don’t Let Contracts Be Misunderstood (Functional Pearl) Christos Dimoulas, Max S. New, Robert Bruce Findler, Matthias Felleisen PLT, USA {chrdimo,maxsnew,robby,matthias}@racket-lang.org

Source URL: www.eecs.northwestern.edu

• Software engineering
• Computer programming
• Programming language theory
• Object-oriented programming languages
• Combinatory logic
• Enumerated type
• Contract
• Objective-C
• Scope
• Eiffel
• Racket

Reasoning about Programs in Continuation-Passing Style Amr Sabry Matthias Felleisen Department of Computer Science

Source URL: www.cs.ru.nl

• Lambda calculus
• Functional programming
• Theoretical computer science
• Logic in computer science
• Continuation-passing style
• Combinatory logic
• Eval
• Monad
• Derivative
• Free variables and bound variables
• Lambda calculus definition
• A-normal form

Oh Lord, Please Don’t Let Contracts be Misunderstood, a Variation on Old Gems Christos Dimoulas, Max S. New, Robert Bruce Findler, Matthias Felleisen PLT, USA {chrdimo,maxsnew,robby,matthias}@racket-lang.org

Source URL: www.ccs.neu.edu

• Object-oriented programming languages
• Combinatory logic
• Design by contract
• Enumerated type
• Contract
• Objective-C
• Scope
• Eiffel
• Racket